x86/crash: fix up declaration of do_nmi_crash()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 4 Mar 2014 10:14:53 +0000 (11:14 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 4 Mar 2014 10:14:53 +0000 (11:14 +0100)
commit8179247eaec09a3e2c6bec6d251af4b74ce09b08
tree8578e2d7d73c5b2ed998983a9159ecf24ca26cd1
parent7e9009891688202a7ffb63761b94e9ae0a53795a
x86/crash: fix up declaration of do_nmi_crash()

... so it can correctly be annotated as noreturn.  Move the declaration of
nmi_crash() to be effectively private in crash.c

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Tim Deegan <tim@xen.org>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/crash.c
xen/include/asm-x86/processor.h